Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
731	Big Data, Ethics, and the Social Implications of Knowledge Production Ralph Schroeder Josh Cowls Add to Reading List Source URL: dataethics.github.io Language: English - Date: 2014-09-23 10:31:54 Formal sciences Database management systems Database theory Internet privacy Big data Data Research Data mining Data analysis Technology Science Data management
732	Formal Software Testing Terri Grenda, CSTE IV&V Testing Solutions, LLC www.ivvts.com Scope of Testing Add to Reading List Source URL: www.iaca.org Language: English - Date: 2013-02-07 21:37:40 Software development process Technology System testing Test plan Test strategy Design review Software testing Software development Science
733	Building a Calculus of Data Structures Viktor Kuncak1⋆ , Ruzica Piskac1 , Philippe Suter1 , and Thomas Wies2 1 EPFL School of Computer and Communication Sciences, Lausanne, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Metalogic Proof theory Logic in computer science Formal languages First-order logic Multiset Presburger arithmetic Quantifier elimination Logic Mathematics Mathematical logic
734	SOMA Analytics Data Science Internship London SOMA Analytics is an investor-backed and award-winning startup that develops pioneering mobile Add to Reading List Source URL: www.soma-analytics.de Language: English - Date: 2015-01-15 05:48:00 Business Formal sciences Computer graphics Infographics Scientific modeling Analytics Lean Startup Data analysis Soma Science Business intelligence Knowledge
735	Join Our Team Data Scientist Are you passionate about solving problems using data? The Data Team at Remitly in Seattle, WA is growing and we hiring a Data Scientist to help accelerate scalable growth. We are looking to Add to Reading List Source URL: dp7bzmm9dzigd.cloudfront.net Language: English - Date: 2015-05-29 19:59:34 Data management Business intelligence Emerging technologies Analytics Mathematical finance Apache Hadoop Big data Data analysis Computer-aided audit tools Technology Science Formal sciences
736	Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols José Bacelar Almeida Manuel Barbosa Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Applied mathematics Proof of knowledge Zero-knowledge proof IP Communications protocol Vehicle Identification Number Formal verification NP XTR Theoretical computer science Cryptography Cryptographic protocols
737	An Integrated Proof Language for Imperative Programs Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-04-02 08:15:55 Applied mathematics Formal methods Logic in computer science Reasoning Proof assistant Formal verification KeY Isabelle Reasoning system Theoretical computer science Mathematics Automated theorem proving
738	Big Data Applications @ Connected Cars Dr.-Ing. Johannes Springer Deutsche Telekom AG / T-Systems International, Strategic Business Unit Connected Car Big Data, T-Systems China, Beijing, December 12th, 2013 Agenda. Add to Reading List Source URL: www.t-systems.cn Language: English - Date: 2013-12-18 22:09:22 Science Big data Data mining Telematics Analytics Geographic information system Business intelligence Oracle Database Technology Formal sciences Data management
739	Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-29 06:47:38 Applied mathematics Tree automaton Finite-state machine Alternating finite automaton Powerset construction Formal language Muller automaton Automata theory Theoretical computer science Computer science
740	Do you need sophisticated tools for data-based decision analysis? Lawrence Livermore can turn highly complex, multi-modal data sets into information that can be applied to actionable decisions, optimally deployed resourc Add to Reading List Source URL: data-analytics.llnl.gov Language: English - Date: 2014-10-17 13:15:59 University of California United States Department of Energy National Laboratories Ethology Battelle Memorial Institute Lawrence Livermore National Laboratory Livermore Valley Mathematical optimization Data mining Stochastic optimization Science Formal sciences Knowledge

UPDATE